Date: Wed, 20 Nov 1996 19:15:44 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Tue, 28 Nov 1995 19:51:46 GMT
Content-length: 1057

<html>
<HEAD><TITLE> Hyperproof 2.0 </TITLE></HEAD>
<BODY background = "pentag8.gif">
<H2> Hyperproof 2.0 </H2>



<Strong>Description: </Strong> 
<Blockquote>

This is a courseware development project aimed at creating a second
generation of <!WA0><A HREF = "http://csli-www.stanford.edu/hp/index.html">Hyperproof</A>.  In <strong> Hyperproof 2.0</strong>, the student would be able
to reason with a variety of diagrams, including Venn Diagrams, Hasse
Diagrams, and Position Diagrams, in addition to the block world
diagrams of Hyperproof 1.0.  (Put in some nice graphics stolen from
the mockup.)
 </Blockquote>

<P>

<Strong> Associated Faculty: </Strong>  Gerry Allwein, Jon Barwise
<P>

<Strong> Affiliated Projects: </Strong>  This project is a joint
endeavor with CSLI at Stanford University. The Stanford half of the
project is led by John Etchemendy.
<P>

<Strong> Support: </Strong> COAS, Rugs, CSLI
<p> 

<!WA1><A HREF="http://www.cs.indiana.edu/research/index.html"><!WA2><IMG SRC="http://www.phil.indiana.edu/~barwise/back.gif"> Return to Computer Science Research Page  </A>

<P>

<!WA3><IMG SRC="http://www.phil.indiana.edu/~barwise/hproof2.GIF">